Two Layers of Constraints for an Extended Object Model in Eiiel
نویسنده
چکیده
Static constraints represent the contractual responsibilities and obligations of methods in Eif-fel classes. Dynamic constraints are considered in the analysis and design level of system development. This paper attempts to show that some classes of problems would beneet from the explicit use of dynamic constraints in the programming phase as well. It shows how the separation and layering of static and dynamic constraints help in object-oriented software evolution.
منابع مشابه
New analytical soliton type solutions for double layers structure model of extended KdV equation
In this present study the double layers structure model of extended Korteweg-de Vries(K-dV) equation will be obtained with the help of the reductive perturbation method, which admits a double layer structure in current plasma model. Then by using of new analytical method we obtain the new exact solitary wave solutions of this equation. Double layer is a structure in plasma and consists of two p...
متن کاملFLOO: A Strong Coupling Between Eiffel Language and 02 DBMS
This paper presents a model of persistency for the Eiiel language and its implementation by FLOO system. This model supports in a transparent way a \contagious" and incremental handling of persistency within a transactional framework. After having deened the context and the constraints of the modelization which had been retained, we present main characteristics of the model which is implemented...
متن کاملComparison of Simulated Annealing and Electromagnetic Algorithms for Solution of Extended Portfolio Model
This paper presents two meta-heuristic algorithms to solve an extended portfolio selection model. The extended model is based on the Markowitz's Model, aiming to minimize investment risk in a specified level of return. In order to get the Markowitz model close to the real conditions, different constraints were embedded on the model which resulted in a discrete and non-convex solution space. ...
متن کاملFrom a Speci cation to an Equivalence Proof in Object-Oriented Parallelism
We investigate the use of a TLA speciication for modeling and proving parallelization within an object-oriented language. Our model is based on Eiiel== a parallel extension of Eiiel, where sequential programs can be reused for parallel or concurrent programming with very minor changes. We want to prove that both versions of a given program (sequential and parallel) are equivalent with respect t...
متن کاملVOLUME MINIMIZATION WITH DISPLACEMENT CONSTRAINTS IN TOPOLOGY OPTIMIZATION OF CONTINUUM STRUCTURES
In this paper, a displacement-constrained volume-minimizing topology optimization model is present for two-dimensional continuum problems. The new model is a generalization of the displacement-constrained volume-minimizing model developed by Yi and Sui [1] in which the displacement is constrained in the loading point. In the original model the displacement constraint was formulated as an equali...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994